1. Elements of the theory of computation
پدیدآورنده : Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع :
رده :
QA
،
267
،.
L49
،
1981
2. Elements of the theory of computation
پدیدآورنده : / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
3. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
4. Elements of the theory of computation
پدیدآورنده : / Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
5. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Machine theory , Formal languages , Computational complexity , Logic, Symbolic and mathematical
رده :
QA
267
.
L49
1998
6. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
7. Elements of the theory of computation
پدیدآورنده : / Harry R. Lewis, christos H. Papadimitriou
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Computable functions
رده :
515
.
25
L674e
8. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
9. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
11. Elements of the theory of computation /
پدیدآورنده : Harry R. Lewis, Christos H. Papadimitriou
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computational complexity,Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA267
.
L49
1998
12. مباني نظريه محاسبات
پدیدآورنده : / تاليف هري لويس، کريستوز پاپاديميترو,عنوان اصلي: Elements of the theory of compution, 2ed. ,c1998,لوئيس,Lewis
کتابخانه: كتابخانه آيت الله وزيری (آستان قدس رضوی ع) (یزد)
موضوع : نظريه ماشين,منطق رياضي,پيچيدگي محاسباتي
رده :
۵۱۱
/
۳
ل
۸۲۳
م
13. مباني نظريه محاسبات (نظريه زبان‌ها و ماشين‌ها)
پدیدآورنده : تاليف هري لويس, کريستوز پاپا ديميترو,ترجمه حسن تفضلي, فاطمه آقايي
موضوع : نظريه ماشين پيچيدگي محاسباتي منطق رياضي منطق رياضي
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
14. مبانی نظریه محاسبات ( نظریه زبان‌هاو ماشین‌ها)
پدیدآورنده : / تالیف هری لویس، کریستوز پاپادیمیترو,Elements of the theory of compution, 2nd.ed ,c1998.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : نظریه ماشین,منطق جدید,پیچیدگی محاسباتی,aمنطق جدید
رده :
۵۱۱
/
۳
ل
۸۲۳
م
۲
ریو
